#define KSTACKSIZE    4096  // size of per-process kernel stack
